Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Rename public.api to released.api #15

Merged
merged 1 commit into from
Dec 14, 2023
Merged

Rename public.api to released.api #15

merged 1 commit into from
Dec 14, 2023

Conversation

daymxn
Copy link
Collaborator

@daymxn daymxn commented Dec 14, 2023

Per b/316375696,

This renames the public.api to released.api to better articulate the intention of the file, since it wasn't immediately apparent- since folks felt that they needed to update it on each PR.

@daymxn daymxn self-assigned this Dec 14, 2023
@daymxn daymxn merged commit 1a68081 into main Dec 14, 2023
4 of 5 checks passed
@daymxn daymxn deleted the rename-publicapi branch December 14, 2023 19:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants